3.1.14 \(\int \frac {(c i+d i x)^2 (A+B \log (\frac {e (a+b x)}{c+d x}))}{a g+b g x} \, dx\) [14]

3.1.14.1 Optimal result
3.1.14.2 Mathematica [A] (verified)
3.1.14.3 Rubi [A] (verified)
3.1.14.4 Maple [B] (verified)
3.1.14.5 Fricas [F]
3.1.14.6 Sympy [F]
3.1.14.7 Maxima [A] (verification not implemented)
3.1.14.8 Giac [F]
3.1.14.9 Mupad [F(-1)]

3.1.14.1 Optimal result

Integrand size = 40, antiderivative size = 276 \[ \int \frac {(c i+d i x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{a g+b g x} \, dx=-\frac {B d (b c-a d) i^2 x}{2 b^2 g}-\frac {B (b c-a d)^2 i^2 \log \left (\frac {a+b x}{c+d x}\right )}{2 b^3 g}+\frac {d (b c-a d) i^2 (a+b x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{b^3 g}+\frac {i^2 (c+d x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{2 b g}-\frac {3 B (b c-a d)^2 i^2 \log (c+d x)}{2 b^3 g}-\frac {(b c-a d)^2 i^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log \left (1-\frac {b (c+d x)}{d (a+b x)}\right )}{b^3 g}+\frac {B (b c-a d)^2 i^2 \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{b^3 g} \]

output
-1/2*B*d*(-a*d+b*c)*i^2*x/b^2/g-1/2*B*(-a*d+b*c)^2*i^2*ln((b*x+a)/(d*x+c)) 
/b^3/g+d*(-a*d+b*c)*i^2*(b*x+a)*(A+B*ln(e*(b*x+a)/(d*x+c)))/b^3/g+1/2*i^2* 
(d*x+c)^2*(A+B*ln(e*(b*x+a)/(d*x+c)))/b/g-3/2*B*(-a*d+b*c)^2*i^2*ln(d*x+c) 
/b^3/g-(-a*d+b*c)^2*i^2*(A+B*ln(e*(b*x+a)/(d*x+c)))*ln(1-b*(d*x+c)/d/(b*x+ 
a))/b^3/g+B*(-a*d+b*c)^2*i^2*polylog(2,b*(d*x+c)/d/(b*x+a))/b^3/g
 
3.1.14.2 Mathematica [A] (verified)

Time = 0.13 (sec) , antiderivative size = 252, normalized size of antiderivative = 0.91 \[ \int \frac {(c i+d i x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{a g+b g x} \, dx=\frac {i^2 \left (2 A b d (b c-a d) x-B (b c-a d) (b d x+(b c-a d) \log (a+b x))+2 B d (b c-a d) (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )+b^2 (c+d x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )+2 (b c-a d)^2 \log (g (a+b x)) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )-2 B (b c-a d)^2 \log (c+d x)+B (b c-a d)^2 \left (-\log (g (a+b x)) \left (\log (g (a+b x))-2 \log \left (\frac {b (c+d x)}{b c-a d}\right )\right )+2 \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{-b c+a d}\right )\right )\right )}{2 b^3 g} \]

input
Integrate[((c*i + d*i*x)^2*(A + B*Log[(e*(a + b*x))/(c + d*x)]))/(a*g + b* 
g*x),x]
 
output
(i^2*(2*A*b*d*(b*c - a*d)*x - B*(b*c - a*d)*(b*d*x + (b*c - a*d)*Log[a + b 
*x]) + 2*B*d*(b*c - a*d)*(a + b*x)*Log[(e*(a + b*x))/(c + d*x)] + b^2*(c + 
 d*x)^2*(A + B*Log[(e*(a + b*x))/(c + d*x)]) + 2*(b*c - a*d)^2*Log[g*(a + 
b*x)]*(A + B*Log[(e*(a + b*x))/(c + d*x)]) - 2*B*(b*c - a*d)^2*Log[c + d*x 
] + B*(b*c - a*d)^2*(-(Log[g*(a + b*x)]*(Log[g*(a + b*x)] - 2*Log[(b*(c + 
d*x))/(b*c - a*d)])) + 2*PolyLog[2, (d*(a + b*x))/(-(b*c) + a*d)])))/(2*b^ 
3*g)
 
3.1.14.3 Rubi [A] (verified)

Time = 0.83 (sec) , antiderivative size = 307, normalized size of antiderivative = 1.11, number of steps used = 11, number of rules used = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {2962, 2789, 2756, 54, 2009, 2789, 2751, 16, 2779, 2838}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {(c i+d i x)^2 \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{a g+b g x} \, dx\)

\(\Big \downarrow \) 2962

\(\displaystyle \frac {i^2 (b c-a d)^2 \int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )^3}d\frac {a+b x}{c+d x}}{g}\)

\(\Big \downarrow \) 2789

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {d \int \frac {A+B \log \left (\frac {e (a+b x)}{c+d x}\right )}{\left (b-\frac {d (a+b x)}{c+d x}\right )^3}d\frac {a+b x}{c+d x}}{b}+\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{b}\right )}{g}\)

\(\Big \downarrow \) 2756

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {d \left (\frac {B \log \left (\frac {e (a+b x)}{c+d x}\right )+A}{2 d \left (b-\frac {d (a+b x)}{c+d x}\right )^2}-\frac {B \int \frac {c+d x}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{2 d}\right )}{b}+\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{b}\right )}{g}\)

\(\Big \downarrow \) 54

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {d \left (\frac {B \log \left (\frac {e (a+b x)}{c+d x}\right )+A}{2 d \left (b-\frac {d (a+b x)}{c+d x}\right )^2}-\frac {B \int \left (\frac {d}{b^2 \left (b-\frac {d (a+b x)}{c+d x}\right )}+\frac {d}{b \left (b-\frac {d (a+b x)}{c+d x}\right )^2}+\frac {c+d x}{b^2 (a+b x)}\right )d\frac {a+b x}{c+d x}}{2 d}\right )}{b}+\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{b}\right )}{g}\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{b}+\frac {d \left (\frac {B \log \left (\frac {e (a+b x)}{c+d x}\right )+A}{2 d \left (b-\frac {d (a+b x)}{c+d x}\right )^2}-\frac {B \left (\frac {\log \left (\frac {a+b x}{c+d x}\right )}{b^2}-\frac {\log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b^2}+\frac {1}{b \left (b-\frac {d (a+b x)}{c+d x}\right )}\right )}{2 d}\right )}{b}\right )}{g}\)

\(\Big \downarrow \) 2789

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {\frac {d \int \frac {A+B \log \left (\frac {e (a+b x)}{c+d x}\right )}{\left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{b}+\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )}d\frac {a+b x}{c+d x}}{b}}{b}+\frac {d \left (\frac {B \log \left (\frac {e (a+b x)}{c+d x}\right )+A}{2 d \left (b-\frac {d (a+b x)}{c+d x}\right )^2}-\frac {B \left (\frac {\log \left (\frac {a+b x}{c+d x}\right )}{b^2}-\frac {\log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b^2}+\frac {1}{b \left (b-\frac {d (a+b x)}{c+d x}\right )}\right )}{2 d}\right )}{b}\right )}{g}\)

\(\Big \downarrow \) 2751

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}-\frac {B \int \frac {1}{b-\frac {d (a+b x)}{c+d x}}d\frac {a+b x}{c+d x}}{b}\right )}{b}+\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )}d\frac {a+b x}{c+d x}}{b}}{b}+\frac {d \left (\frac {B \log \left (\frac {e (a+b x)}{c+d x}\right )+A}{2 d \left (b-\frac {d (a+b x)}{c+d x}\right )^2}-\frac {B \left (\frac {\log \left (\frac {a+b x}{c+d x}\right )}{b^2}-\frac {\log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b^2}+\frac {1}{b \left (b-\frac {d (a+b x)}{c+d x}\right )}\right )}{2 d}\right )}{b}\right )}{g}\)

\(\Big \downarrow \) 16

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )}d\frac {a+b x}{c+d x}}{b}+\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}+\frac {B \log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b d}\right )}{b}}{b}+\frac {d \left (\frac {B \log \left (\frac {e (a+b x)}{c+d x}\right )+A}{2 d \left (b-\frac {d (a+b x)}{c+d x}\right )^2}-\frac {B \left (\frac {\log \left (\frac {a+b x}{c+d x}\right )}{b^2}-\frac {\log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b^2}+\frac {1}{b \left (b-\frac {d (a+b x)}{c+d x}\right )}\right )}{2 d}\right )}{b}\right )}{g}\)

\(\Big \downarrow \) 2779

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {\frac {\frac {B \int \frac {(c+d x) \log \left (1-\frac {b (c+d x)}{d (a+b x)}\right )}{a+b x}d\frac {a+b x}{c+d x}}{b}-\frac {\log \left (1-\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{b}}{b}+\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}+\frac {B \log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b d}\right )}{b}}{b}+\frac {d \left (\frac {B \log \left (\frac {e (a+b x)}{c+d x}\right )+A}{2 d \left (b-\frac {d (a+b x)}{c+d x}\right )^2}-\frac {B \left (\frac {\log \left (\frac {a+b x}{c+d x}\right )}{b^2}-\frac {\log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b^2}+\frac {1}{b \left (b-\frac {d (a+b x)}{c+d x}\right )}\right )}{2 d}\right )}{b}\right )}{g}\)

\(\Big \downarrow \) 2838

\(\displaystyle \frac {i^2 (b c-a d)^2 \left (\frac {d \left (\frac {B \log \left (\frac {e (a+b x)}{c+d x}\right )+A}{2 d \left (b-\frac {d (a+b x)}{c+d x}\right )^2}-\frac {B \left (\frac {\log \left (\frac {a+b x}{c+d x}\right )}{b^2}-\frac {\log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b^2}+\frac {1}{b \left (b-\frac {d (a+b x)}{c+d x}\right )}\right )}{2 d}\right )}{b}+\frac {\frac {\frac {B \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{b}-\frac {\log \left (1-\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{b}}{b}+\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}+\frac {B \log \left (b-\frac {d (a+b x)}{c+d x}\right )}{b d}\right )}{b}}{b}\right )}{g}\)

input
Int[((c*i + d*i*x)^2*(A + B*Log[(e*(a + b*x))/(c + d*x)]))/(a*g + b*g*x),x 
]
 
output
((b*c - a*d)^2*i^2*((d*((A + B*Log[(e*(a + b*x))/(c + d*x)])/(2*d*(b - (d* 
(a + b*x))/(c + d*x))^2) - (B*(1/(b*(b - (d*(a + b*x))/(c + d*x))) + Log[( 
a + b*x)/(c + d*x)]/b^2 - Log[b - (d*(a + b*x))/(c + d*x)]/b^2))/(2*d)))/b 
 + ((d*(((a + b*x)*(A + B*Log[(e*(a + b*x))/(c + d*x)]))/(b*(c + d*x)*(b - 
 (d*(a + b*x))/(c + d*x))) + (B*Log[b - (d*(a + b*x))/(c + d*x)])/(b*d)))/ 
b + (-(((A + B*Log[(e*(a + b*x))/(c + d*x)])*Log[1 - (b*(c + d*x))/(d*(a + 
 b*x))])/b) + (B*PolyLog[2, (b*(c + d*x))/(d*(a + b*x))])/b)/b)/b))/g
 

3.1.14.3.1 Defintions of rubi rules used

rule 16
Int[(c_.)/((a_.) + (b_.)*(x_)), x_Symbol] :> Simp[c*(Log[RemoveContent[a + 
b*x, x]]/b), x] /; FreeQ[{a, b, c}, x]
 

rule 54
Int[((a_) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[E 
xpandIntegrand[(a + b*x)^m*(c + d*x)^n, x], x] /; FreeQ[{a, b, c, d}, x] && 
 ILtQ[m, 0] && IntegerQ[n] &&  !(IGtQ[n, 0] && LtQ[m + n + 2, 0])
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 2751
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_) + (e_.)*(x_)^(r_.))^(q_), x 
_Symbol] :> Simp[x*(d + e*x^r)^(q + 1)*((a + b*Log[c*x^n])/d), x] - Simp[b* 
(n/d)   Int[(d + e*x^r)^(q + 1), x], x] /; FreeQ[{a, b, c, d, e, n, q, r}, 
x] && EqQ[r*(q + 1) + 1, 0]
 

rule 2756
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_) + (e_.)*(x_))^(q_.), 
x_Symbol] :> Simp[(d + e*x)^(q + 1)*((a + b*Log[c*x^n])^p/(e*(q + 1))), x] 
- Simp[b*n*(p/(e*(q + 1)))   Int[((d + e*x)^(q + 1)*(a + b*Log[c*x^n])^(p - 
 1))/x, x], x] /; FreeQ[{a, b, c, d, e, n, p, q}, x] && GtQ[p, 0] && NeQ[q, 
 -1] && (EqQ[p, 1] || (IntegersQ[2*p, 2*q] &&  !IGtQ[q, 0]) || (EqQ[p, 2] & 
& NeQ[q, 1]))
 

rule 2779
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((x_)*((d_) + (e_.)*(x_)^(r 
_.))), x_Symbol] :> Simp[(-Log[1 + d/(e*x^r)])*((a + b*Log[c*x^n])^p/(d*r)) 
, x] + Simp[b*n*(p/(d*r))   Int[Log[1 + d/(e*x^r)]*((a + b*Log[c*x^n])^(p - 
 1)/x), x], x] /; FreeQ[{a, b, c, d, e, n, r}, x] && IGtQ[p, 0]
 

rule 2789
Int[(((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_) + (e_.)*(x_))^(q_))/ 
(x_), x_Symbol] :> Simp[1/d   Int[(d + e*x)^(q + 1)*((a + b*Log[c*x^n])^p/x 
), x], x] - Simp[e/d   Int[(d + e*x)^q*(a + b*Log[c*x^n])^p, x], x] /; Free 
Q[{a, b, c, d, e, n}, x] && IGtQ[p, 0] && LtQ[q, -1] && IntegerQ[2*q]
 

rule 2838
Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2 
, (-c)*e*x^n]/n, x] /; FreeQ[{c, d, e, n}, x] && EqQ[c*d, 1]
 

rule 2962
Int[((A_.) + Log[(e_.)*((a_.) + (b_.)*(x_))^(n_.)*((c_.) + (d_.)*(x_))^(mn_ 
)]*(B_.))^(p_.)*((f_.) + (g_.)*(x_))^(m_.)*((h_.) + (i_.)*(x_))^(q_.), x_Sy 
mbol] :> Simp[(b*c - a*d)^(m + q + 1)*(g/b)^m*(i/d)^q   Subst[Int[x^m*((A + 
 B*Log[e*x^n])^p/(b - d*x)^(m + q + 2)), x], x, (a + b*x)/(c + d*x)], x] /; 
 FreeQ[{a, b, c, d, e, f, g, h, i, A, B, n, p}, x] && EqQ[n + mn, 0] && IGt 
Q[n, 0] && NeQ[b*c - a*d, 0] && EqQ[b*f - a*g, 0] && EqQ[d*h - c*i, 0] && I 
ntegersQ[m, q]
 
3.1.14.4 Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(697\) vs. \(2(268)=536\).

Time = 1.57 (sec) , antiderivative size = 698, normalized size of antiderivative = 2.53

method result size
parts \(\frac {i^{2} A \left (\frac {d \left (\frac {1}{2} b d \,x^{2}-x a d +2 b c x \right )}{b^{2}}+\frac {\left (a^{2} d^{2}-2 a b c d +b^{2} c^{2}\right ) \ln \left (b x +a \right )}{b^{3}}\right )}{g}-\frac {i^{2} B \left (a d -c b \right )^{3} e^{3} \left (-\frac {d^{4} \ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )^{2}}{2 \left (a d -c b \right ) b^{3} e^{3}}+\frac {d^{5} \left (\frac {\operatorname {dilog}\left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \ln \left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}\right )}{\left (a d -c b \right ) b^{3} e^{3}}-\frac {d^{5} \left (\frac {\ln \left (\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e \right )}{b e d}-\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{b e \left (\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e \right )}\right )}{\left (a d -c b \right ) b^{2} e^{2}}+\frac {d^{5} \left (-\frac {\ln \left (\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e \right )}{2 e^{2} b^{2} d}-\frac {1}{2 e b d \left (\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e \right )}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -2 b e \right )}{2 e^{2} b^{2} \left (\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e \right )^{2}}\right )}{\left (a d -c b \right ) b e}\right )}{g \,d^{4}}\) \(698\)
derivativedivides \(-\frac {e \left (a d -c b \right ) \left (-\frac {A \,d^{2} e^{2} i^{2} \left (a d -c b \right ) \left (\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{b^{3} e^{3}}+\frac {1}{b^{2} e^{2} \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}-\frac {\ln \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{b^{3} e^{3}}+\frac {1}{2 b e \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )^{2}}\right )}{g}-\frac {B \,d^{2} e^{2} i^{2} \left (a d -c b \right ) \left (-\frac {d \left (\frac {\operatorname {dilog}\left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \ln \left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}\right )}{b^{3} e^{3}}-\frac {d \left (-\frac {\ln \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{2 b^{2} e^{2} d}+\frac {1}{2 b e d \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}-\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (2 b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{2 b^{2} e^{2} \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )^{2}}\right )}{b e}+\frac {d \left (\frac {\ln \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{b e d}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{b e \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}\right )}{b^{2} e^{2}}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )^{2}}{2 b^{3} e^{3}}\right )}{g}\right )}{d^{2}}\) \(788\)
default \(-\frac {e \left (a d -c b \right ) \left (-\frac {A \,d^{2} e^{2} i^{2} \left (a d -c b \right ) \left (\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{b^{3} e^{3}}+\frac {1}{b^{2} e^{2} \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}-\frac {\ln \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{b^{3} e^{3}}+\frac {1}{2 b e \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )^{2}}\right )}{g}-\frac {B \,d^{2} e^{2} i^{2} \left (a d -c b \right ) \left (-\frac {d \left (\frac {\operatorname {dilog}\left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \ln \left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}\right )}{b^{3} e^{3}}-\frac {d \left (-\frac {\ln \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{2 b^{2} e^{2} d}+\frac {1}{2 b e d \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}-\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (2 b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{2 b^{2} e^{2} \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )^{2}}\right )}{b e}+\frac {d \left (\frac {\ln \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{b e d}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{b e \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}\right )}{b^{2} e^{2}}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )^{2}}{2 b^{3} e^{3}}\right )}{g}\right )}{d^{2}}\) \(788\)
risch \(\text {Expression too large to display}\) \(3116\)

input
int((d*i*x+c*i)^2*(A+B*ln(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g),x,method=_RETURN 
VERBOSE)
 
output
i^2*A/g*(d/b^2*(1/2*b*d*x^2-x*a*d+2*b*c*x)+(a^2*d^2-2*a*b*c*d+b^2*c^2)/b^3 
*ln(b*x+a))-i^2*B/g/d^4*(a*d-b*c)^3*e^3*(-1/2/(a*d-b*c)*d^4/b^3/e^3*ln(b*e 
/d+(a*d-b*c)*e/d/(d*x+c))^2+1/(a*d-b*c)*d^5/b^3/e^3*(dilog(-((b*e/d+(a*d-b 
*c)*e/d/(d*x+c))*d-b*e)/b/e)/d+ln(b*e/d+(a*d-b*c)*e/d/(d*x+c))*ln(-((b*e/d 
+(a*d-b*c)*e/d/(d*x+c))*d-b*e)/b/e)/d)-1/(a*d-b*c)*d^5/b^2/e^2*(1/b/e/d*ln 
((b*e/d+(a*d-b*c)*e/d/(d*x+c))*d-b*e)-ln(b*e/d+(a*d-b*c)*e/d/(d*x+c))*(b*e 
/d+(a*d-b*c)*e/d/(d*x+c))/b/e/((b*e/d+(a*d-b*c)*e/d/(d*x+c))*d-b*e))+1/(a* 
d-b*c)*d^5/b/e*(-1/2/e^2/b^2/d*ln((b*e/d+(a*d-b*c)*e/d/(d*x+c))*d-b*e)-1/2 
/e/b/d/((b*e/d+(a*d-b*c)*e/d/(d*x+c))*d-b*e)+1/2*ln(b*e/d+(a*d-b*c)*e/d/(d 
*x+c))*(b*e/d+(a*d-b*c)*e/d/(d*x+c))*((b*e/d+(a*d-b*c)*e/d/(d*x+c))*d-2*b* 
e)/e^2/b^2/((b*e/d+(a*d-b*c)*e/d/(d*x+c))*d-b*e)^2))
 
3.1.14.5 Fricas [F]

\[ \int \frac {(c i+d i x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{a g+b g x} \, dx=\int { \frac {{\left (d i x + c i\right )}^{2} {\left (B \log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}}{b g x + a g} \,d x } \]

input
integrate((d*i*x+c*i)^2*(A+B*log(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g),x, algori 
thm="fricas")
 
output
integral((A*d^2*i^2*x^2 + 2*A*c*d*i^2*x + A*c^2*i^2 + (B*d^2*i^2*x^2 + 2*B 
*c*d*i^2*x + B*c^2*i^2)*log((b*e*x + a*e)/(d*x + c)))/(b*g*x + a*g), x)
 
3.1.14.6 Sympy [F]

\[ \int \frac {(c i+d i x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{a g+b g x} \, dx=\frac {i^{2} \left (\int \frac {A c^{2}}{a + b x}\, dx + \int \frac {A d^{2} x^{2}}{a + b x}\, dx + \int \frac {B c^{2} \log {\left (\frac {a e}{c + d x} + \frac {b e x}{c + d x} \right )}}{a + b x}\, dx + \int \frac {2 A c d x}{a + b x}\, dx + \int \frac {B d^{2} x^{2} \log {\left (\frac {a e}{c + d x} + \frac {b e x}{c + d x} \right )}}{a + b x}\, dx + \int \frac {2 B c d x \log {\left (\frac {a e}{c + d x} + \frac {b e x}{c + d x} \right )}}{a + b x}\, dx\right )}{g} \]

input
integrate((d*i*x+c*i)**2*(A+B*ln(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g),x)
 
output
i**2*(Integral(A*c**2/(a + b*x), x) + Integral(A*d**2*x**2/(a + b*x), x) + 
 Integral(B*c**2*log(a*e/(c + d*x) + b*e*x/(c + d*x))/(a + b*x), x) + Inte 
gral(2*A*c*d*x/(a + b*x), x) + Integral(B*d**2*x**2*log(a*e/(c + d*x) + b* 
e*x/(c + d*x))/(a + b*x), x) + Integral(2*B*c*d*x*log(a*e/(c + d*x) + b*e* 
x/(c + d*x))/(a + b*x), x))/g
 
3.1.14.7 Maxima [A] (verification not implemented)

Time = 0.26 (sec) , antiderivative size = 518, normalized size of antiderivative = 1.88 \[ \int \frac {(c i+d i x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{a g+b g x} \, dx=2 \, A c d i^{2} {\left (\frac {x}{b g} - \frac {a \log \left (b x + a\right )}{b^{2} g}\right )} + \frac {1}{2} \, A d^{2} i^{2} {\left (\frac {2 \, a^{2} \log \left (b x + a\right )}{b^{3} g} + \frac {b x^{2} - 2 \, a x}{b^{2} g}\right )} + \frac {A c^{2} i^{2} \log \left (b g x + a g\right )}{b g} - \frac {{\left (3 \, b c^{2} i^{2} - 2 \, a c d i^{2}\right )} B \log \left (d x + c\right )}{2 \, b^{2} g} + \frac {{\left (b^{2} c^{2} i^{2} - 2 \, a b c d i^{2} + a^{2} d^{2} i^{2}\right )} {\left (\log \left (b x + a\right ) \log \left (\frac {b d x + a d}{b c - a d} + 1\right ) + {\rm Li}_2\left (-\frac {b d x + a d}{b c - a d}\right )\right )} B}{b^{3} g} + \frac {B b^{2} d^{2} i^{2} x^{2} \log \left (e\right ) + {\left (b^{2} c^{2} i^{2} - 2 \, a b c d i^{2} + a^{2} d^{2} i^{2}\right )} B \log \left (b x + a\right )^{2} + {\left ({\left (4 \, i^{2} \log \left (e\right ) - i^{2}\right )} b^{2} c d - {\left (2 \, i^{2} \log \left (e\right ) - i^{2}\right )} a b d^{2}\right )} B x + {\left (B b^{2} d^{2} i^{2} x^{2} + 2 \, {\left (2 \, b^{2} c d i^{2} - a b d^{2} i^{2}\right )} B x + {\left (2 \, b^{2} c^{2} i^{2} \log \left (e\right ) - 4 \, {\left (i^{2} \log \left (e\right ) - i^{2}\right )} a b c d + {\left (2 \, i^{2} \log \left (e\right ) - 3 \, i^{2}\right )} a^{2} d^{2}\right )} B\right )} \log \left (b x + a\right ) - {\left (B b^{2} d^{2} i^{2} x^{2} + 2 \, {\left (2 \, b^{2} c d i^{2} - a b d^{2} i^{2}\right )} B x + 2 \, {\left (b^{2} c^{2} i^{2} - 2 \, a b c d i^{2} + a^{2} d^{2} i^{2}\right )} B \log \left (b x + a\right )\right )} \log \left (d x + c\right )}{2 \, b^{3} g} \]

input
integrate((d*i*x+c*i)^2*(A+B*log(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g),x, algori 
thm="maxima")
 
output
2*A*c*d*i^2*(x/(b*g) - a*log(b*x + a)/(b^2*g)) + 1/2*A*d^2*i^2*(2*a^2*log( 
b*x + a)/(b^3*g) + (b*x^2 - 2*a*x)/(b^2*g)) + A*c^2*i^2*log(b*g*x + a*g)/( 
b*g) - 1/2*(3*b*c^2*i^2 - 2*a*c*d*i^2)*B*log(d*x + c)/(b^2*g) + (b^2*c^2*i 
^2 - 2*a*b*c*d*i^2 + a^2*d^2*i^2)*(log(b*x + a)*log((b*d*x + a*d)/(b*c - a 
*d) + 1) + dilog(-(b*d*x + a*d)/(b*c - a*d)))*B/(b^3*g) + 1/2*(B*b^2*d^2*i 
^2*x^2*log(e) + (b^2*c^2*i^2 - 2*a*b*c*d*i^2 + a^2*d^2*i^2)*B*log(b*x + a) 
^2 + ((4*i^2*log(e) - i^2)*b^2*c*d - (2*i^2*log(e) - i^2)*a*b*d^2)*B*x + ( 
B*b^2*d^2*i^2*x^2 + 2*(2*b^2*c*d*i^2 - a*b*d^2*i^2)*B*x + (2*b^2*c^2*i^2*l 
og(e) - 4*(i^2*log(e) - i^2)*a*b*c*d + (2*i^2*log(e) - 3*i^2)*a^2*d^2)*B)* 
log(b*x + a) - (B*b^2*d^2*i^2*x^2 + 2*(2*b^2*c*d*i^2 - a*b*d^2*i^2)*B*x + 
2*(b^2*c^2*i^2 - 2*a*b*c*d*i^2 + a^2*d^2*i^2)*B*log(b*x + a))*log(d*x + c) 
)/(b^3*g)
 
3.1.14.8 Giac [F]

\[ \int \frac {(c i+d i x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{a g+b g x} \, dx=\int { \frac {{\left (d i x + c i\right )}^{2} {\left (B \log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}}{b g x + a g} \,d x } \]

input
integrate((d*i*x+c*i)^2*(A+B*log(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g),x, algori 
thm="giac")
 
output
integrate((d*i*x + c*i)^2*(B*log((b*x + a)*e/(d*x + c)) + A)/(b*g*x + a*g) 
, x)
 
3.1.14.9 Mupad [F(-1)]

Timed out. \[ \int \frac {(c i+d i x)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{a g+b g x} \, dx=\int \frac {{\left (c\,i+d\,i\,x\right )}^2\,\left (A+B\,\ln \left (\frac {e\,\left (a+b\,x\right )}{c+d\,x}\right )\right )}{a\,g+b\,g\,x} \,d x \]

input
int(((c*i + d*i*x)^2*(A + B*log((e*(a + b*x))/(c + d*x))))/(a*g + b*g*x),x 
)
 
output
int(((c*i + d*i*x)^2*(A + B*log((e*(a + b*x))/(c + d*x))))/(a*g + b*g*x), 
x)